The Structural Semantics of Subtypes and Inheritance
نویسنده
چکیده
A large variety of di erent concepts have been introduced to express the subtypes and inheritance. Single inheritance, multiple inheritance, independent multiple inheritance and delegation are all various forms of subtyping and inheritance. In this paper, we give a structural framework for the semantics of these concepts that allows one to distinguish them in a precise manner. This framework accounts for the structural and for some of the behavioral characteristics of subtypes and inheritance.
منابع مشابه
Analyzing the problem of meaning in Shabastari’s Golshane Raz
Man has always been finding a complete model for semantics since the beginning. A model which can as a paradigm affects all branches of sciences. In the view of author, such a model can be found in Golshane Raz. Introducing the model from the work mentioned, the paper has tried to explain its sub structural foundations in three fields of ontology, epistemology and semantics. Some of the foundat...
متن کاملInterrogation of a University Classrooms in the Court of Semantics: Managerial Implications
The purpose of this article, within the framework of an interpretive study, was to study the semantics of a universitychr('39')s classrooms to create a critical awareness of the meanings of the symptoms and their functions at the context of physical artifacts, besides their managerial implications. To accomplish this goal, after taking pictures of the structural elements of the studied classroo...
متن کاملInclusions and Subtypes II: Higher-Order Case
The first-order theory of subtypes as inclusions developed in Part I is extended to a higher-order context This involves providing a higher-order equational logic for (inclusive) subtypes, a categorical semantics for such a logic that is complete and has initial models, and a proof that this higher-order logic is a conservative extension of its firstorder counterpart This higher-order categoric...
متن کاملStructural polymorphism of the fourth component of human complement.
The fourth component of human complement (C4) in 102 individual plasma samples has been examined by the technique of antigen-antibody crossed electrophoresis (AACE). Electrophoretic heterogeneity of C4 was manifested by the repeated occurrence of seven different precipitin patterns. These patterns were formed by varying combinations of three subtypes of C4, differing in electrophoretic mobility...
متن کاملAn Operational Semantics for Foops Extended Abstract
FOOPS is a functional, concurrent, object-oriented language. We give a structural operational semantics for FOOPS, considering features such as: classes of objects with associated methods and attributes, object identity, dynamic object creation and deletion, overloading, polymorphism, inheritance with overriding, concurrency, nondeterminism and atomic execution.
متن کامل